Sensitivity of a climatologically-driven sea ice model to the ocean heat flux

Ocean heat flux sensitivity was studied on a numerical model of sea ice covering the Weddell Sea region of the southern ocean. The model is driven by mean monthly climatological atmospheric variables. For each model run, the ocean heat flux is uniform in both space and time. Ocean heat fluxes below 20 W m to the minus 2 power do not provide sufficient energy to allow the ice to melt to its summertime thicknesses and concentrations by the end of the 14 month simulation, whereas ocean heat fluxes of 30 W m to the minus 2 power and above result in too much ice melt, producing the almost total disappearance of ice in the Weddell Sea by the end of the 14 months. These results are dependent on the atmospheric forcing fields

Rocket spectrometer for investigation of the far ultraviolet solar spectrum

A rocket-borne Ebert spectrometer and telescope were used for analysis of the solar spectrum. The instrument was arranged in the high resolution line scanning mode. Selected emission lines between 1170 and 1640 A were scanned, and a complete wavelength scan was made from 1170 A to 1850 A. Accurate measurements were made of the line profiles of the He II lines at 1640 A, C IV lines at 1550 A, Si IV lines at 1400 A, C II lines at 1335 A, the N V lines at 1240 A, and the C III lines at 1175 A. Accurate intensity measurements of the quiet sun spectrum for wavelengths between 1174 A and 3220 A were obtained. Spectral resolution was better than 0.03 A over most of the range and spatial resolution was relatively low so that the observations are averaged over the chromospheric network. Plots of absolute intensity versus wave length were prepared for the full wavelength range of the observations

Child undernutrition in affluent societies: what are we talking about?

In this paper we set out to explore the prevalence of child undernutrition found in community studies in affluent societies, but a preliminary literature review revealed that, in the absence of a gold standard method of diagnosis, the prevalence largely depends on the measure, threshold and the growth reference used, as well as age. We thus go on to explore describe the common clinical ‘syndromes’ of child undernutrition: wasting, stunting and failure to thrive (weight faltering) and how we have used data from two population-based cohort studies, this paper to explore how much these different ‘syndromes’ overlap and the extent to which they reflect true undernutrition. This analysis revealed that when more than one definition is applied to the same children, a majority are below the lower threshold for only one measure. However, those with both weight faltering and low BMI in infancy, go on in later childhood to show growth and body composition patterns suggestive of previous undernutrition. In older children there is even less overlap and most children with either wasting or low fat seem to be simply growing at one extreme of the normal range. We conclude that in affluent societies the diagnosis of undernutrition is only robust when it relies on a combination of both, that is decline in weight or BMI centile and wasting

Classification and Ranking of Fermi LAT Gamma-ray Sources from the 3FGL Catalog using Machine Learning Techniques

We apply a number of statistical and machine learning techniques to classify and rank gamma-ray sources from the Third Fermi Large Area Telescope (LAT) Source Catalog (3FGL), according to their likelihood of falling into the two major classes of gamma-ray emitters: pulsars (PSR) or Active Galactic Nuclei (AGN). Using 1904 3FGL sources that have been identified/associated with AGN (1738) and PSR (166), we train (using 70% of our sample) and test (using 30%) our algorithms and find that the best overall accuracy (>96%) is obtained with the Random Forest (RF) technique, while using a logistic regression (LR) algorithm results in only marginally lower accuracy. We apply the same techniques on a sub-sample of 142 known gamma-ray pulsars to classify them into two major subcategories: young (YNG) and millisecond pulsars (MSP). Once more, the RF algorithm has the best overall accuracy (~90%), while a boosted LR analysis comes a close second. We apply our two best models (RF and LR) to the entire 3FGL catalog, providing predictions on the likely nature of {\it unassociated} sources, including the likely type of pulsar (YNG or MSP). We also use our predictions to shed light on the possible nature of some gamma-ray sources with known associations (e.g. binaries, SNR/PWN). Finally, we provide a list of plausible X-ray counterparts for some pulsar candidates, obtained using Swift, Chandra, and XMM. The results of our study will be of interest for both in-depth follow-up searches (e.g. pulsar) at various wavelengths, as well as for broader population studies.Comment: Accepted by Ap

An in-host model of HIV incorporating latent infection and viral mutation

We construct a seven-component model of the in-host dynamics of the Human Immunodeficiency Virus Type-1 (i.e, HIV) that accounts for latent infection and the propensity of viral mutation. A dynamical analysis is conducted and a theorem is presented which characterizes the long time behavior of the model. Finally, we study the effects of an antiretroviral drug and treatment implications.Comment: 10 pages, 7 figures, Proceedings of AIMS Conference on Differential Equations and Dynamical Systems (2015

Absorption line series and autoionization resonance structure analysis in the ultraviolet spectrum of Sr I

Photoelectric spectrometer to measure absorption line series and autoionization resonance in ultraviolet spectrum of strontium vapo

The VerCors tool for verification of concurrent programs

The VerCors tool implements thread-modular static verification of concurrent programs, annotated with functional properties and heap access permissions. The tool supports both generic multithreaded and vector-based programming models. In particular, it can verify multithreaded programs written in Java, specified with JML extended with separation logic. It can also verify parallelizable programs written in a toy language that supports the characteristic features of OpenCL. The tool verifies programs by first encoding the specified program into a much simpler programming language and then applying the Chalice verifier to the simplified program. In this paper we discuss both the implementation of the tool and the features of its specification language